TSTP Solution File: PRO021^1 by SInE---0.4